((and true(not(= iv("NULL")iv("a")))),# ~@&&~(# ~@!=~(# a,NULL),# ~@==~(# sa,# ~@~(bsv(1),bsv(2)))),.empty |- list~~(~@~(bsv(1),bsv(2)),nbv(0)):= list~~(# sa,# a))